Air Force Research Laboratory Information Directorate Meld: a Logical Approach to Distributed and Parallel Programming

Meld: A Logical Approach to Programming Ensembles

Concurrent systems are notoriously difficult to program. They suffer from such problems as race conditions, deadlocks, and livelocks in addition to all the bugs encountered in sequential programs. Better methods are necessary to write correct programs for concurrent systems. In this thesis I will focus on a class of concurrent systems call ‘ensembles’. An ensemble is a massively distributed sys...

Air Force Research Laboratory Information Directorate a Secure and Reliable High-performance Field Programmable Gate Array for Information Processing Cornell University March 2012 Finaltechnical Report

Quantitative Structure-Property Relationships for Melting Points and Densities of Ionic Liquids

Steven Trohalaki, Ruth Pachter, Greg W. Drake, and Tommy Hawkins Air Force Research Laboratory, Materials & Manufacturing Directorate, Wright-Patterson Air Force Base, OH 45433-7702 Air Force Research Laboratory, Propulsion Directorate, Edwards Air Force Base, CA 93524 The Anteon Corporation, 5100 Springfield Pike, Dayton, OH 45431-1231 [email protected]

Air Force Research Laboratory Materials and Manufacturing Directorate Wright-patterson Air Force Base Oh 45433-7750 Air Force Materiel Command United States Air Force Notice and Signature Page

Research Article Single-Round Patterned DNA Library Microarray Aptamer Lead Identification

1Human Effectiveness Directorate, 711 Human Performance Wing, Air Force Research Laboratory, Wright-Patterson Air Force Base, Dayton, OH 45433, USA 2The Henry M. Jackson Foundation for the Advancement of Military Medicine, 6720A Rockledge Drive, Bethesda, MD 20817, USA 3Materials and Manufacturing Directorate, Air Force Research Laboratory, Wright-Patterson Air Force Base, OH 45433, USA 4UES In...